首页> 外文OA文献 >Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants

【2h】

Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants

机译：数学的电子通信以及计算机代数系统和证明助手的交互

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
相似文献
相关主题

著录项

作者
Barendregt, HP; Cohen, AM Arjeh;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Electronic communication of Mathematics and the Interaction of computer Algebra Systems and Proof Assistants [J] . Henk Barendregt, Arjeh M. Cohen urnal of Symbolic Computation . 2001,第1a2期

机译：数学的电子通信与计算机代数系统和证明助手的交互
2. Algebraic proofs for shallow water bi–Hamiltonian systems for three cocycle of the semi-direct product of Kac–Moody and Virasoro Lie algebras : Open Mathematics [J] . A. Zuevsky Open Mathematics . 2018,第1期

机译：Kac-Moody和Virasoro Lie代数的半直接乘积的三个cocycle的浅水双汉密尔顿系统的代数证明：开放数学
3. Getting Mathematical Concepts And Learning Proofs By Computer Aided Linear Algebra [J] . Wolfgang Fraunholz International Journal of Continuing Engineering Education and Life-long Learning . 2008,第5a6期

机译：通过计算机辅助线性代数获得数学概念并学习证明
4. Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems [C] . Jonathan Heras, Vico Pascual, Julio Rubio Intelligent computer mathematics . 2009

机译：使用开放式数学文档连接计算机代数和校对助手系统
5. Computer algebra systems in mathematics education: A case study examining the introduction of computer algebra systems to secondary mathematics teachers. [D] . Nowakowski, Anthony Joseph. 1992

机译：数学教育中的计算机代数系统：一个案例研究，研究了将计算机代数系统引入中学数学教师的情况。
6. The Remote Completion Rate of Electronic Patient-Reported Outcome Forms Before Scheduled Clinic Visits—A Proof-of-Concept Study Using Patient-Reported Outcome Measurement Information System Computer Adaptive Test Questionnaires [O] . Peter A. Borowsky, Omar M. Kadri, Jason E. Meldau, 2019

机译：预定门诊就诊前电子报告患者结果表格的远程完成率—使用患者报告结果测量信息系统计算机自适应测试问卷的概念验证研究
7. Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants [O] . Barendregt Henk, Cohen Arjeh M. 2001

机译：数学的电子通信与计算机代数系统和证明助手的相互作用
8. A Study of Embedded Computer Systems Support. Volume V. Requirements Baseline: Communications-Electronics [R] . Barden, S. C., Ramsey, L. W., Truax, R. J. 1980

机译：嵌入式计算机系统支持研究。第五卷要求基线：通信 - 电子

Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants

著录项

相似文献

相关主题

期刊订阅